COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 (de ack (x y) (cond C00003 ENDMK Cā; (de ack (x y) (cond ((= x 0) (1+ y)) ((= y 0) (self (1- x) 1)) (t (self (1- x) (self x (1- y))))))